Canonical Models for Fragments of the Axiom of Choice
نویسندگان
چکیده
We develop a technology for investigation of natural forcing extensions of the model L(R) which satisfy such statements as “there is an ultrafilter” or “there is a total selector for the Vitali equivalence relation”. The technology reduces many questions about ZF implications between consequences of the axiom of choice to natural ZFC forcing problems.
منابع مشابه
On characterizations of the fully rational fuzzy choice functions
In the present paper, we introduce the fuzzy Nehring axiom, fuzzy Sen axiom and weaker form of the weak fuzzycongruence axiom. We establish interrelations between these axioms and their relation with fuzzy Chernoff axiom. Weexpress full rationality of a fuzzy choice function using these axioms along with the fuzzy Chernoff axiom.
متن کاملOn Tychonoff's type theorem via grills
Let ${X_{alpha}:alphainLambda}$ be a collection of topological spaces, and $mathcal {G}_{alpha}$ be a grill on $X_{alpha}$ for each $alphainLambda$. We consider Tychonoffrq{}s type Theorem for $X=prod_{alphainLambda}X_{alpha}$ via the above grills and a natural grill on $X$ related to these grills, and present a simple proof to this theorem. This immediately yields the classical theorem...
متن کاملSequential rationalization of multivalued choice
This paper contributes to the theory of rational choice under sequential criteria. Following the approach initiated by Manzini and Mariotti (2007) for single-valued choice functions, we characterize choice correspondences that are rational by two sequential criteria under a mild consistency axiom. Rationales ensuring the sequential rationalization are explicitly constructed and a uniquely deter...
متن کاملA method for analyzing the problem of determining the maximum common fragments of temporal directed tree, that do not change with time
In this study two actual types of problems are considered and solved: 1) determining the maximum common connected fragment of the T-tree (T-directed tree) which does not change with time; 2) determining all maximum common connected fragments of the T-tree (T-directed tree) which do not change with time. The choice of the primary study of temporal directed trees and trees is justified by the wid...
متن کاملThe Tangent Cones at Double points of Prym-Canonical Divisors of Curves of genus 7
Let η be a line bundle on a smooth curve X with η^2=0 such that π_η, the double covering induced by η is an etale morphism. Assume also that X_η be the Prym-canonical model of X associated to K_X.η and Q is a rank 4 quadric containing X_η. After stablishing the projective normality of the prym-canonical models of curves X with Clifford index 2, we obtain in this paper a sufficient condition for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 82 شماره
صفحات -
تاریخ انتشار 2017